32cb2de141c310a65a321c379956416d92e875ce,app/PdeEditor.java,PdeEditor,PdeEditor,#,50
Before Change
Properties skprops = new Properties();
try {
skprops.load(getClass().getResource("sketch.properties").openStream());
String sketch = (String) skprops.get("sketch.name");
String path = (String) skprops.get("sketch.directory");
String user = (String) skprops.get("user.name");
if (new File(path + File.separator + name +
After Change
try {
skprops.load(getClass().getResource("sketch.properties").openStream());
int windowX = Integer.parseInt(skprops.getProperty("window.x"), -1);
int windowY = Integer.parseInt(skprops.getProperty("window.y"), -1);
int windowW = Integer.parseInt(skprops.getProperty("window.w"), -1);
int windowH = Integer.parseInt(skprops.getProperty("window.h"), -1);
// if screen size has changed, the window coordinates no longer
// make sense, so don't use them unless they're identical
int screenW = Integer.parseInt(skprops.getProperty("screen.w"), -1);
int screenH = Integer.parseInt(skprops.getProperty("screen.h"), -1);
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
if ((windowX != -1) &&
((screen.width == screenW) || (screen.height == screenH))) {
PdeBase.frame.setBounds(windowX, windowY, windowW, windowH);
}
String name = skprops.getProperty("sketch.name");
String path = skprops.getProperty("sketch.directory");
String user = skprops.getProperty("user.name");